1. Accessible categories: the foundations of categorical model theory
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M35
1989
2. Duality and definability in first order logic /
پدیدآورنده : Michael Makkai
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Duality theory (Mathematics),First-order logic,Toposes
رده :
QA9
.
A57
no
.
503
3. First order categorical logic : model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M3
1977
4. First order categorical logic: model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
5. First order categorical logic: model-theorical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
